prove linearly independent over years